πのarctangent relationsを求めて